منابع مشابه
An Interactive Derivation Viewer
This work describes the Interactive Derivation Viewer (IDV) tool for graphical rendering of derivations that are written in the TPTP language. IDV provides an interactive interface that allows the user to quickly view various features of the derivation. A particularly novel feature of IDV is its ability to provide a synopsis of a derivation by identifying interesting lemmas within a derivation,...
متن کاملA rat-resistant artificial nest box for cavity-nesting birds
The puaiohi or small Kauai thrush (Myadestes palmeri) is an endangered bird endemic to the island of Kauai, Hawaii. The sole population of about 500 birds is currently restricted to remote, higher elevation areas of the Alakai Plateau. Puaiohi nest primarily on steep streamside cliffs, and their distribution and abundance are limited by availability of suitable nesting sites. Black rats (Rattus...
متن کاملRed-cockaded Woodpecker Nest-cavity Selection: Relationships with Cavity Age and Resin Production
-We evaluated selection of nest sites by male Red-cockaded Woodpeckers (Picoides borealis) in Texas relative to the age of the cavity when only cavities excavated by the woodpeckers were available and when both naturally excavated cavities and artificial cavities were available. We also evaluated nest-cavity selection relative to the ability of naturally excavated cavity trees to produce resin,...
متن کاملAn Aspect-Aware Outline Viewer
An aspect-oriented programming (AOP) is for modularising a crosscutting concern so that it can be easily attached and detached to/from software. Because of this functionality, AOP is one of key technologies for enabling evolvable software. However, critics have been mentioning that AOP makes modular reasoning difficult since join points where an aspect and an object are connected to each other ...
متن کاملAir Temperature Error Correction Based on Solar Radiation in an Economical Meteorological Wireless Sensor Network
Air temperature (AT) is an extremely vital factor in meteorology, agriculture, military, etc., being used for the prediction of weather disasters, such as drought, flood, frost, etc. Many efforts have been made to monitor the temperature of the atmosphere, like automatic weather stations (AWS). Nevertheless, due to the high cost of specialized AT sensors, they cannot be deployed within a large ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Field Ornithology
سال: 2007
ISSN: 0273-8570,1557-9263
DOI: 10.1111/j.1557-9263.2006.00089.x